void do_tests()
{
	mapping m = allocate_mapping(random(1000));
	mixed x, y;

foreach (x, y in m)
{
	ASSERT(0); // shouldn't get here
}
}
